Transformatiing and Parallelizing ANSI C Programs using Pattern Recognition

نویسندگان

  • Maarten Boekhold
  • Ireneusz Karkowski
  • Henk Corporaal
چکیده

Code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementing separate (sub-)programs for each transformation. This paper describes a different approach. We designed and implemented a fully programmable transformation engine. It can be programmed by means of a transformation language. This language was especially designed to be easy to use and flexible enough to express most of the common and more advanced transformations. Its possible applications range from coarse-grain parallelism exploitation to optimizers for multimedia instruction sets. It has been successfully tested on various applications.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Transforming and Parallelizing ANSI C Programs Using Pattern Recognition

Code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementing separate (sub-)programs for each transformation. This paper describes a different approach. We designed and implemented a fully programmable transformation engine. It can be programmed by means of a transformation language. This lan...

متن کامل

A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC

Controllers in safety critical systems such as nuclear power plants often use the Function Block Diagram (FBD) to design software embedded in the PLC (Programmable Logic Controller). Software engineers develop FBD programs manually, while engineering tools provided by PLC vendors translate them into ANSI-C programs mechanically. Every new PLC and its software engineering tool should demonstrate...

متن کامل

A Programmable ANSI C Transformation Engine

Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementing separate (sub-)programs for each transformation. This paper describes a different approach. We designed and implemented a fully programmable C code transformation engine. It can be programmed by means of a transformation lang...

متن کامل

An Experiment to Assess the Bene ts of Inter-Module Type Checking

This paper reports on an experiment to assess the error detection capabilities of static, inter-module type checking. Type checking is considered an important mechanism for detecting programming errors, especially interface errors. The experiment uses Kernighan&Ritchie C and ANSI C. The relevant di erence is that the ANSI C compiler checks module interfaces (i.e., the parameter lists of calls t...

متن کامل

A Controlled Experiment to Assess the Bene ts of Procedure Argument Type

Type checking is considered an important mechanism for detecting programming errors, especially interface errors. This report describes an experiment to assess the defect-detection capabilities of static, inter-module type checking. The experiment uses Ansi C and Kernighan&Ritchie (K&R) C. The relevant di erence is that the Ansi C compiler checks module interfaces (i.e., the parameter lists of ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999